\begin{tabbing}
$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($p$;$n$).
\\[0ex]rv{-}disjoint($p$;$n$;$X$;$Y$)
\\[0ex]$\Rightarrow$ (0 $<$ $n$)
\\[0ex]$\Rightarrow$ \=(($\forall$$x$, $y$:Outcome. rv{-}shift($x$;$X$) = rv{-}shift($y$;$X$) $\in$ RandomVariable($p$;$n$ {-} 1))\+
\\[0ex]$\vee$ ($\forall$$x$, $y$:Outcome. rv{-}shift($x$;$Y$) = rv{-}shift($y$;$Y$) $\in$ RandomVariable($p$;$n$ {-} 1)))
\-
\end{tabbing}